1. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : ، Logic programming-- Congresses,، Prolog )Computer program language(-- Congresses

رده :
QA
76
.
63
.
I566
1995

2. Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : Congresses ، Logic programming,Congresses ، Prolog )Computer program language(

رده :
QA
76
.
63
I566
1995